Gianni Rodari: parole per pensare, parole per amare

Floyd Languages for Infinite Words Linguaggi Di Floyd per Parole Infinite

Nowadays many software systems are designed to work without interruption: for instance operating systems are required to provide continuously their services to the users, and web applications and verification of critical and concurrent systems represent a typical scenario where endless computations are involved. The behavior of systems operating forever can be formally specified by means of ω-l...

The PAROLE Program

The PAROLE project (Contract LE2-4017) was launched in May 1996 by the Commission of the European Communities, at the initiative of the DG XIII (Telecommunications, Information Market and Exploitation of Research). PAROLE is not just a project for gathering and creating a corpus. We are creating a true architectural model whose riches and quality will constitute strategic assets for European li...

Scientific parole, a proposal.

Constitutional Law: Parole Status

In Rose v. Haskins,' the Court of Appeals for the Sixth Circuit reiterated the orthodox view that since a prisoner parole system is not constitutionally compelled, parole status is merely a "privilege" regulated by statute and not circumscribed by either the specific constitutional guarantees applicable to a criminal proceeding nor the traditional safeguards of procedural due process. However, ...

Parole Classification and Guidelines